- 双语例句 更多例句
1、
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
互联网摘选
2、
发展形式逻辑和其执行情况的计算机是计算机科学的基础。
互联网摘选
3、
本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。
互联网摘选
4、
可计算性逻辑目前是一个崭新的研究领域，由于在逻辑学和计算机科学上的广泛应用，将为研究者提供广阔的研究空间。
互联网摘选
5、
目前，逻辑学被广泛应用于计算机科学中逻辑电路设计、程序设计分析、安全协议验证以及人工智能等方面。
互联网摘选
- 相关词组
- follow in the rear殿后
- add in加进去，计算在内，包括;
- Minister in Charge of Commission for主管委员会的部长
- matter and energy in ecosystem生态系统中的物质和能量
- arrive in抵达，到达;乘车到达;
- indulge in a wanton life纸醉金迷;
- flutter in the wind迎风招展;
- walk in the grass and sleep in the open草行露宿
- arm in arm挽臂，携手;
- fill in填（写）;填补;代替;淤塞;
- abound inv.富于;盛产;
- hydrostatic pressure in Bowman's space[肾小]囊内压
- appliance computer个人电脑，家用电脑;
- margin of exchange rate fluctuation in terms of parity汇价围绕平价波动的范围
- advance in前进
- take one's life in one's hands冒生命危险
- do sth in a fit of pique赌气做某事
- hold in scorn轻视, 蔑视; 看不起
- amount in figures小写金额;
- maternal physiology in pregnancy妊娠生理
- 今日热词
- 热门搜索
- cousin n.同辈表亲;堂兄弟（或姐妹）;表兄弟（或姐妹）;
- YP abbr.黄页(yellow pages);屈折点(Yield Point)
- right-handed adj.用右手的;向右转的;
- micron n.微米;
- wound n.伤口，创伤;v.使受伤;伤害;
- MBTI 类型指标;测试;迈尔斯布里格斯类型指标;荣格心理测试;职业性格测试
- animal n.动物，兽，牲畜;<俚>家畜，牲口;<俚>畜生（一般的人）;兽性;adj.动物的;肉体的;肉欲的;
- my uncle 叔叔;舅舅;叔父;伯父;我的叔叔;我的舅舅
- ditch n.沟渠;壕沟;vt.摆脱，抛弃;在…上掘沟;把…开入沟里;使（火车）出轨;
- nutrition n. 营养，滋养;营养品;营养学;食物;
- yoghurt n.酸奶;酸乳酪;
- clearly adv.清晰地;易懂地;显然地;
湘公网安备43011202000971号